Nuprl Definition : d-empty
0,22
postcript
pdf
d-empty()(
i
) ==
latex
Definitions
x
.
A
(
x
)
,
FDL editor aliases
d-empty
origin
x.A(x)x.A(x)